首页> 外文OA文献 >1Learning Assumptions for Compositional Verification of Timed Systems

【2h】

1Learning Assumptions for Compositional Verification of Timed Systems

机译：1定时系统组成验证的学习假设

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shang-wei Lin; Yang Liu; Jun Sun; Jin Song Dong;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Compositional Verification for Timed Systems Based on Automatic Invariant Generation [J] . LacramioaraAstefanoaei, SouhaBenRayana, SaddekBensalem, Logical Methods in Computer Science . 2015,第3期

机译：基于自动不变生成的定时系统的成分验证
2. Learning Assumptions for CompositionalVerification of Timed Systems [J] . IEEE Transactions on Software Engineering . 2014,第2期

机译：定时系统组成验证的学习假设
3. Compositional Verification for Hierarchical Scheduling of Real-Time Systems [J] . Carnevali Laura, Pinzuti Alessandro, Vicario Enrico Software Engineering, IEEE Transactions on . 2013,第5期

机译：实时系统分层调度的组合验证
4. Preventing Performance Violations of Service Compositions Using Assumption-Based Run-Time Verification [C] . Eric Schmieders, Andreas Metzger Towards a service-based internet . 2011

机译：使用基于假设的运行时验证来防止违反服务组合的性能
5. Verification approach for compositional hierarchical time Petri-nets. [D] . Chen, Lan. 2006

机译：组成分层时间Petri网的验证方法。
6. Runtime verification of embedded real-time systems [O] . Thomas Reinbacher, Matthias Függer, Jörg Brauer -1

机译：嵌入式实时系统的运行时验证
7. Learning assumptions for compositional verification of timed systems [O] . Lin, Shang-Wei, Andre, Etienne, Liu, Yang, 2014

机译：定时系统组成验证的学习假设
8. Specification and Compositional Verification of Real-Time Systems [R] . Hooman, J. J. M. 1991

机译：实时系统的规范和组成验证

1Learning Assumptions for Compositional Verification of Timed Systems

著录项

引文网络

相似文献

相关主题

期刊订阅